Aligning to standard height of `32px` at base font size of `14px`,
mediawiki.ui's inputs and OOUI.
Bug: T209455
Change-Id: I3ef5bb0920aadd22667f0a9b3701e6714bc04133
min-width: 4em;
max-width: 28.75em; // equivalent to 460px, @see T95367
margin: 0;
- padding: 0.546875em 1em;
+ padding: 0.57142857em 0.9375em; // equivalent to `8px 12px`
border: @border-width-base @border-style-base @border-color-base;
border-radius: @borderRadius;
// Inherit the font rather than apply user agent stylesheet (T72072)
font-family: inherit;
font-size: 1em;
font-weight: bold;
- line-height: 1.286;
+ line-height: 1;
text-align: center;
// Disable weird iOS styling
-webkit-appearance: none;